Самая большая электронная библиотека рунета. Поиск книг и журналов

Proof Theory

Автор:
Размер книги: 15.22 Mb

Axiomatic set theory

Автор: , Автор:
Размер книги: 6.27 Mb

Memoirs of a Proof Theorist: Gödel and Other Logicians

Автор: , Автор: , Автор:
Размер книги: 4.79 Mb

Memoirs of a Proof Theorist: Gödel and Other Logicians

Автор: , Автор: , Автор:
Размер книги: 892 Kb

Takeuti G. Teorija dokazatel#stv (ru)(L)(T)(207s).djvu

Автор:
Размер книги: 4.31 Mb

Takeuti G. Teorija dokazatel'stv (ru)(L)(207s).djvu

Автор:
Размер книги: 3.26 Mb

Introduction to Axiomatic set theory

Автор: , Автор:
Категория: Mathematics, Algebra, Abstract algebra
Размер книги: 1.87 Mb

Proof theory

Автор:
Категория: Mathematics, Algebra, Mathematical logic
Размер книги: 4.47 Mb

Proof Theory

Автор:
Размер книги: 23.42 Mb

Axiomatic set theory

Автор: , Автор:
Категория: Abstract algebra
Размер книги: 1.18 Mb

Memoirs of a proof theorist: Goedel and other logicians

Автор: , Автор: , Автор:
Категория: Mathematical logic
Размер книги: 891 Kb

Logic Symposia, Hakone, 1979, 1980

Автор: , Автор: , Автор:
Категория: Lecture notes
Размер книги: 1.94 Mb

Axiomatic Set Theory (Graduate Texts in Mathematics)

Автор: , Автор:
Размер книги: 2.33 Mb

Proof theory

Автор:
Размер книги: 2.24 Mb